Sixty Years of Lake Washington: a Curriculum Vitae

Alexander A . Penin Curriculum Vitae 1 Curriculum Vitae

Curriculum Vitae Et Studiorum

with valuation 110/110 cum laude Thesis: " Polymorphism and subtyping in MetaML " Supervisor: Eugenio Moggi • July 1996 High school degree at the " Istituto Tecnico Statale F.Liceti " of Rapallo (Gen-ova), with valuation 60/60 English: scholastic knowledge (PET certificate) French: scholastic knowledge Research activity Research interests Formal semantics of programming languages, functional an...

Curriculum Vitae Luca Pappalardo

Curriculum vitae et studiorum

1) Semantics of Programming Languages II (Prof. Ugo Montanari); 2) Database Programming Languages (Prof. Antonio Albano, Prof. Giuseppe Castagna, Prof. V. Benzaken) (Bertinoro); 3) Mobility Languages (Davide Sangiorgi) (Bertinoro); 4) Petri Nets (Prof. G. Balbo) (Bertinoro); 5) Syntactic Rule Formats and Defining Higher-Order Languages (Prof. Karen Bernstein); 6) Applied Cryptography (Prof. Pao...

Curriculum Vitae et Studiorum

Education – Ph.D. in Computer Science, September 1997, Università degli Studi di Milano, Italy Thesis: Strongly Constructive Formal Systems. Supervisor: Prof. Pierangelo Miglioli – Bachelor of Science with distinction in Computer Science, December 1990. Università degli Studi di Milano, Italy Thesis: Logiche intermedie costruttive massimali (Maximal Intermediate Constructive Logics). Supervisor...